COMMENT ⊗   VALID 00010 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.device xgp sides←1
C00004 00003	.onecol		<< cover >>
C00005 00004	.next page	<< title >>
C00008 00005	.insert contents
C00017 00006	.app "Personnel"
C00024 00007	.app Current Support
C00026 00008	.app Relevant Experience
C00027 00009	.app Facilities
C00028 00010	.	<< budget >>
C00029 ENDMK
C⊗;
.device xgp; sides←1;
.require "bask.pub[sub,sys]" source;
.font 5 "sup";
.font 6 "gacb25";
.font 7 "metlb";
.require "twocol.pub[sub,sys]" source;
.
.every heading(,,);
.
.count item;
.at "#"	⊂next item; item!⊃;
.onecol		<< cover >>
.group skip 7;
.begin center select 7
A DISPLAY SYSTEM
FOR THE

STANFORD UNIVERSITY
COMPUTER SCIENCE DEPARTMENT




%3proposal submitted to


.select 7;
National Science Foundation
.select 3;
Washington, D.C. 20550



by


Computer Science Department
%7Stanford University
%3Stanford, California 94305




%7November 1976
.end
.next page;	<< title >>
.BEGIN NOFILL; PREFACE 0; INDENT 0
.TABS 35; turn on "⊗" for "%";
.TURN ON "\↓_"
.AT "≤≤" TXT "≥" ⊂ }↓_⊗6TXT⊗*_↓{ ⊃
.SELECT 1
.ONCE CENTER; SELECT 3
Research Proposal Submitted to the National Science Foundation
.SKIP 2
.select 1
Proposed Amount ≤≤$$$$$$$≥ Proposed Effective Date ≤≤???????????≥ Proposed Duration ≤≤???months≥
.SKIP 1
Title ≤≤A Display System for the Stanford University Computer Science Department≥
.skip 1
Principal Investigator:\Submitting Institution:
  ≤≤Professor Edward Feigenbaum≥\  ≤≤Stanford University≥
  Soc. Sec. No. ≤≤137-26-8264≥\  Department ≤≤Computer Science Department≥
\  Branch ≤≤School of Humanities and Sciences≥
.skip 4
Make grant to ≤≤         Leland Stanford Junior University          ≥
.skip 5
Endorsements:
.tabs 10,34,58
.SKIP 1
\Principal Investigator\Department Head\Institutional Admin. Official
.PREFACE 1
Name\≤≤Edward Feigenbaum ≥\≤≤Edward A. Feigenbaum ≥\≤≤                     ≥
.SKIP 1
Signature\≤≤                     ≥\≤≤                     ≥\≤≤                     ≥
Title\≤≤ Professor  ≥\≤≤Professor & Chairman ≥\≤≤                     ≥
Telephone\≤≤(415) 497-4430       ≥\≤≤(415) 497-4878       ≥\≤≤                     ≥
Date\≤≤                     ≥\≤≤                     ≥\≤≤                     ≥
.END
.insert contents;
.COUNT PAGE;
.every heading(Display Proposal,,{PAGE!})
.twocol;portion some;place text
.s Purpose
	This is a request for a grant of xxx in partial support of
of a display system for the Stanford University
Computer Science Department.
The system will be used about 80 percent for research and 20 percent
for educational computing by graduate students in computer science.
We propose to pay the educational part ourselves.  The 80-20 estimate
is based on the fact that the department uses other facilities that
have terminal systems for its classes.

	Department members have current access to five major time-sharing
computers on the Stanford Campus and others elsewhere.  The Campus
computers include the IBM 370/168 operated by the Stanford Center
for Information Processing, the DECSystem 10s operated by the
Stanford Artificial Intelligence Laboratory, the Institute for
Mathematics in the Social Sciences, the SUMEX system for
artificial intelligence in medicine, and the DECSystem 20 operated
by the LOTS low overhead time-sharing system for instructional use.

	Of course, these different facilities are available for
different purposes and under different conditions.  Therefore,
we have long felt the need for a Departmental terminal system
which would give faculty and graduate students access to all
these computers and any others that may be important.

	The following are the general specifications of the proposed
terminal system:

.item ←0;
	#. Each office contains a display terminal that can put
up text and graphics.  Faculty and students work in their offices,
and we find that adequate facilities in a separate terminal room
are very expensive if there is to be space for books and papers.
Private carrels are virtually a requirement.
The graphics requirement might be omitted for some users, but we
have found an inexpensive implementation that also provides it.

	#. The system includes a line printer with graphics capability.
This permits the publication of high quality reports, papers,
class notes, and theses, using editors and publication programs maintained on
the various time-shared computers.

	#. A minicomputer maintains the displays and the
communication with the host computers.

	#. Telephone dialers on the system will permit use
of other computers.


.s IMPLEMENTATION PLANS

	The system contains four major components: the displays,
the minicomputer that maintains the displays and carries out the
communication, the printer, and the communication facilities.

.ss Displays

    We plan a system analogous to those in use at the M.I.T. Artificial
Intelligence Laboratory and at the Yale Computer Science Department and
somewhat similar to the older system in use at the Stanford Artificial
Intelligence Laboratory.  In these systems, a 512 by 512 array of bits in
integrated circuit memory represents each user's display image.  The
memories are addressable by the minicomputer as 16,384 words of 16 bits,
and characters and pictures are written in the display image just by
writing their bits in memory.  The major difference from the earlier
systems is that while they are based on 1024 bits per integrated circuit,
our new system uses 16,384 bits per IC.  A prototype board using the 16K
chips has been designed and built by the Stanford Artificial Intelligence
Laboratory and is now being tested.  As of October 1976, the board works
but has a few marginalities that are being fixed.  The 16K chips were
available only in sample quantities - enough for one board - at that time,
but they are expected to be available at a price of about α$15.00 early in
1977.

    The advantage of the system is cheapness; we expect a per board cost
of α$600 and an additional cost-per-terminal of about $500 for keyboard,
monitor, cabling, and input multiplexor.  This will enable us to put a
terminal in each office without worrying about the fact that each terminal
may have a low duty cycle.

.ss Minicomputer

    The task will require a computer equivalent to a PDP-11/45 with 48K
words of memory in addition to the 16K associated with each terminal.

.ss Printer

    We plan to use a Xerox yyy printer.  This is an improved version of
the Xerox Graphics Printer in use at the Stanford AI Lab and many other
ARPAnet installations.  It permits the production of report quality
documents including illustrations.

.ss Communications.

	We include communication lines to the five afore-mentioned
Stanford computers as well as zzz
Telenet?  TRAN?
.skip to column 1
.s Relevant Experience

    Similar display facilities have been operated at the Stanford AI Lab
since 1971.  Having terminals in every office has proved a real winner in
normalizing the use of computers.  The AI Lab has already completed the
design of the memory board for its own expansion plans.  There is also
experience in the design and interfacing of computer systems.

    The communications and network experience is available in the Digital
Systems Laboratory. Blah, Blah Blah.
.app "Personnel"

Biography of John McCarthy

.begin nojust; indent 0,4;
BORN:  September 4, 1927 in Boston, Massachusetts

EDUCATION:
B.S.  (Mathematics) California Institute of Technology, 1948.
Ph.D. (Mathematics) Princeton University, 1951.

HONORS AND SOCIETIES:
American Mathematical Society,
Association for Computing Machinery,
Sigma Xi,
Sloan Fellow in Physical Science (1957-59),
IEEE,
ACM National Lecturer (1961),
A.M. Turing Award from Association for Computing Machinery (1971).

PROFESSIONAL EXPERIENCE:
Proctor Fellow, Princeton University (1950-51),
Higgins Research Instructor in Mathematics, Princeton University (1951-53),
Acting Assistant Professor of Mathematics, Stanford University (1953-55),
Assistant Professor of Mathematics, Dartmouth College (1955-58),
Assistant Professor of Communication Science, M.I.T. (1958-61),
Associate Professor of Communication Science, M.I.T. (1961-62),
Professor of Computer Science Stanford University (1962 - present).

PROFESSIONAL RESPONSIBILITIES AND SCIENTIFIC INTERESTS:
With Marvin Minsky organized and directed the Artificial
Intelligence Project at M.I.T.

Organized and directs Stanford Artificial Intelligence Project

Developed the LISP programming system for computing with
symbolic expressions, participated in the development
of the ALGOL 58 and the ALGOL 60 languages.

Present scientific work is in the fields of Artificial
Intelligence, Computation with Symbolic Expressions,
Mathematical Theory of Computation, Time-Sharing computer
systems. 

Director LOTS (Low-Overhead Time-Sharing) computer center
for instructional use and unsponsored research.  (1976-1979)

PUBLICATIONS:
.count ref inline; at "⊗" ⊂next ref; ("["&ref&"]  ");⊃
.  at "<" ⊂"%2"⊃; at ">" ⊂"%1"⊃;

⊗"Towards a Mathematical Theory of Computation", in
<Proc. IFIP Congress 62>, North-Holland, Amsterdam, 1963.

⊗"A Basis for a Mathematical Theory of Computation",
in P. Biaffort and D. Hershberg (eds.), <Computer Programming and
Formal Systems>, North-Holland, Amsterdam, 1963.

⊗(with S. Boilen, E. Fredkin, J.C.R. Licklider)
"A Time-Sharing Debugging System for a Small Computer", <Proc.
AFIPS Conf.> (SJCC), Vol. 23, 1963.

⊗(with F. Corbato, M. Daggett) "The Linking
Segment Subprogram Language and Linking Loader Programming
Languages", <Comm. ACM>, July 1963.

⊗"Problems in the Theory of Computation", <Proc. IFIP
Congress 1965>.

⊗"Time-Sharing Computer Systems", in W. Orr (ed.),
<Conversational Computers>, Wiley, 1966.

⊗"A Formal Description of a Subset of Algol", in T.
Steele (ed.), <Formal Language Description Languages for Computer
Programming>, North-Holland, Amsterdam, 1966.

⊗"Information", <Scientific American>, September
1966.

⊗"Computer Control of a Hand and Eye", in <Proc.
Third All-Union Conference on Automatic Control (Technical
Cybernetics)>, Nauka, Moscow, 1967 (Russian).

⊗(with D. Brian, G. Feldman, and J. Allen) "THOR -- A
Display Based Time-Sharing System", <Proc. AFIPS Conf.> (FJCC), Vol.
30, Thompson, Washington, D.C., 1967.

⊗(with James Painter) "Correctness of a Compiler for
Arithmetic Expressions", Amer. Math. Soc., <Proc. Symposia in
Applied Math., Math. Aspects of Computer Science>, New York, 1967.

⊗"Programs with Common Sense", in Marvin Minsky
(ed.), <Semantic Information Processing>, MIT Press, Cambridge, 1968.

⊗(with Lester Earnest, D. Raj. Reddy, Pierre Vicens) "A
Computer with Hands, Eyes, and Ears", <Proc. AFIPS Conf.> (FJCC),
1968.

⊗(with Patrick Hayes) "Some Philosophical Problems from the
Standpoint of Artificial Intelligence", in Donald Michie (ed.),
<Machine Intelligence 4>, American Elsevier, New York, 1969.

⊗"The Home Information Terminal", <Man and Computer,
Proc. Int. Conf., Bordeaux, 1970>, S. Karger, New York, 1972.

.end

.app Current Support

Prof. McCarthy is currently being supported by the Advanced Research
Projects Agency under Contract MDA903-76-C-0206 (1 January 1976 - 30 June
1977, $916,000/year) and by the National Science Foundation for research
in Verification Oriented Programming under Grant Number MCS76-00327 (June
1976 - June 1978, $160,000/year).  Prof. McCarthy also oversees (but recieves
no personal support from) an NSF
research contract on Exploratory Study of Computer Integrated Assembly
Systems under Contract NSF APR74-01390 A04 (April 1976 - April 1978,
$225,000/year).

.cb Pending Applicatiions

Prof. McCarthy has recently submitted two proposals (involving no personal
support) to the National Science Foundation.
"A Unified Approach to Automatic Programming" (MCS-7683655) would
run two years at a level of $96,000/year, while
"Verification of Operating Systems written in Concurrent Pascal"
would run two years at a level of $37,000/year.

.app Relevant Experience

.app Facilities

.	<< budget >>
.onecol
.app Budget

1. 64 terminals at α$1100

2. 1 man year of engineering at α$25,000

3. PDP-11/45 at 

4. Xerox uuu printer at

5. Wiring etc. →α$5000

6. Communications and interfaces.

.skip 4
The source file of this document is CSDDIS.PRO[F76,JMC]@SU-AI
.back